A diagram showing the relationships among the various subgroups of a group